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

＞２９５

x^3=(y+1)^3-y^3 の解のyは無理数なので、
X^3=(Y+m)^3-Y^3 の解のYは無理数で構成できる。