日本人の数学者が残したものだったら、田中の最終定理とかになるんかな