3^2×1=z^2-y^2が自然数解を持たないならば、
15^2=17^2-8^2は成り立たない。