「どこがわかりませんか？」

「>>1の論法を使うと x^3+y=z^3 が自然数解を持たないことが証明できる」

これが、わかりません。