フェルマーの最終局面25

v.3の変更箇所■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■

p.21 ｐ-1|2^(n-1)の詳細追記

p.23 z/Ξx mod δ、p.24 -y/Ξx mod δを追記

■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■

ところで

( )Ξ0だと、x^p+y^pΞz^pか断定できない部分について修正しました…。

と全記事で書いたのですが、Lの前提条件では( )Ξ0ではないので

v.3は*遠回りで、v.1で良かったのかもと思っています。

*7.1追記

v.3だと初期条件でx^p+z^pΞy^pとなるからおかしい。