>>858
rank((3, 4, 5), (2, 3, 4), (1, 2, 3)) = 2
なので、この方程式は事実上
px + qy + rz = s
tx + uy + vz = w
（1次式2本の方程式）と同等。
つまり、3本目の式が他の2本の式と
矛盾しなければよい。
x + y + z = a - b = b - c であるから、
a + c = 2b（a, b, c がこの順に等差数列）
であることが、解を持つための必要十分条件。