初等数学によるフェルマーの最終定理の証明９

>>363
(1)は「y=2,x=t,m=1」とおく前。(2)はおいたあと。(2)が成り立たなくても(1)は成り立つ可能性がある。

(1)は(3)となるので、(3)が成立しなければ、(1)も成立しません。