>512
>あなたの証明が正しいならば、x,y,ｚはかならず(3)を満たさないと間違いでしょ？
(x,y,z)=(6，8，10)は明らかに(3)を満たしません。

(x,y,z)=(6，8，10)は明らかに(3)を満たしませんが、
(x,y,z)=(3，4，5)は明らかに(3)を満たます。