何度間違ったとしても、最終的に間違っていれば努力は報われないが
2週間や3週間でほぼ終了した未解決問題の証明は公式に承認されなければならない