>>644
まさにmod 7でいいじゃん。
|x|+|y|+|z|が0でない解が最小となるものとってくる。
mod 7で考えると全部7の倍数。するとx/7,y/7,z/7も解になって矛盾。