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

＞２４４
「(2)が整数解を持つならば(1)も整数解を持つ」

(A),(B)は(2)の式。(C)は(1)の式。
3^3=(y+1)^3-y^3…(A)
5^3=(y+1)^3-y^3…(B)
(A),(B)のyは無理数
(A)×(B)は、
15^3=(y+m)^3-y^3…(C)と変形できます。
よって、(C)のyも無理数となります。