>174
>>>173
x=3,y=4,z=5は与式を満たす。証明終
ではなくわざわざ何行も書くのはなぜですか?

pが奇素数の場合も、要領が同じだからです。