これがフェルマーの証明法だったりするのか?

さすがにモジュラーやら楕円曲線のルートはありえない憾