方程式4x+6y+9z=25……(*) の整数解に対し次の6種類の「操作」を考えます:
 a1 「xの値を3増やし, yの値を2減らす」
 a2 「xの値を3減らし, yの値を2増やす」
 b1 「yの値を3増やし, zの値を2減らす」
 b2 「yの値を3減らし, zの値を2増やす」
 c1 「zの値を4増やし, xの値を9減らす」
 c2 「zの値を4減らし, xの値を9増やす」

例えば(*)の解(1,2,1)と(7,1,-1)について、
 前者にa1を2回,b1を1回施すと後者になります。

一般に、(*)の任意の2つの整数解は、
この6種類の操作を繰り返すことによって移り合うといえますか?