できないことの証明はできない。できることの証明はできる。やってみせさえすればいいから。しかぁーし、できないことの証明はできない。1000回できなくても、証明にはならない。1001回目で、できる可能性があるからだ。