v.3の変更箇所■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
p.21 p-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となるからおかしい。