>>201
悪問じゃなくて雑魚問。
少なくとも一つは3の倍数であることいいたいなら
全てが3の倍数でないケースが存在しない事を言えばいいから
x,yにぶっこんで、等式みたすにはzが3の倍数の時にしかならんっていえばいい。
(x,y)の剰余の組みは(1,1)(2,2)(2,1)の三通り考察すればいいだけというぬるさ
x,yの少なくとも一方が3の倍数の時に成立しえるかなんて考察する必要がない