>>173
x=3,y=4,z=5は与式を満たす。証明終

ではなくわざわざ何行も書くのはなぜですか？