>>669 日高

> 【定理】x^2+y^2=z^2は自然数解を持たない。
なので負の数は無効です。

推論のどこが誤りかを指摘してください。