数学の天才が理屈や途中の式は分からないが答えだけは知ってると発表した式を証明するのに何十年もかかったりするのでしょ