有理数が加算でないことの証明は天才的