直感によっては、証明するのに10年かかることもあります。