>>489
当事者含めたら、例えばフェルマーの最終定理の簡単な証明とかも証明できてないとは言えない