x,y,z>0とする
xとyが3の倍数でないなら
x=3m+1,y=3n+1,z=3p+2
か
x=3m+2,y=3n+2,z=3p+1
しかなくて
9で割ったあまりを比べると矛盾とかそんな感じかな