頭のいい数学者がいたんだろ