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

って意味がわかりません。この式を満たす自然数解が存在しないならば、の意味？

x^2+y^2=(y+1)^2が存在するので、
x^2+y^2=(y+m)^2も存在する。という意味です。