> ∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
は言えません

(2)が成立たないということは、有理数解を持たないということです。