>>937-938

考えたけど、>>938 の
x,yが無理数の場合 を x,y,zを有理数のフェルマーに帰着させる部分は
結構うまくいってるのかなと思った。