係数の大部分が共通する2つの式を引くと、aia_iai の具体的な値に依存する部分が消え、xix_ixi どうしの純粋な関係だけが残る。
絶対値を外すと、式1は (a1−a2)x2+(a1−a3)x3+(a1−a4)x4=1(a_1-a_2)x_2+(a_1-a_3)x_3+(a_1-a_4)x_4=1(a1−a2)x2+(a1−a3)x3+(a1−a4)x4=1、式2は (a1−a2)x1+(a2−a3)x3+(a2−a4)x4=1(a_1-a_2)x_1+(a_2-a_3)x_3+(a_2-a_4)x_4=1(a1−a2)x1+(a2−a3)x3+(a2−a4)x4=1 となる。これらを引き算し a1−a2≠0a_1-a_2\ne0a1−a2=0 で割ると −x1+x2+x3+x4=0-x_1+x_2+x_3+x_4=0−x1+x2+x3+x4=0 が残る。