Inter-universal geometry と ABC予想 34

[0522 １３２人目の素数さん 2018/11/14(水) 23:19:26.62 ID:zj/LoJoA]

>>518
機械で証明の検証できるように書くのは、百倍くらいの労力いるから無理。