>>400
>>391
> (4)のx,y,zは、有理数とならない。
には根拠がありません。証明として無効です。