3人もの大数学者がそうなら、そうだっていえるだろ