ステップ2と同じ相殺の仕組みが、隣り合うすべての式のペアに適用できる。
式3は (a1−a3)x1+(a2−a3)x2+(a3−a4)x4=1(a_1-a_3)x_1+(a_2-a_3)x_2+(a_3-a_4)x_4=1(a1−a3)x1+(a2−a3)x2+(a3−a4)x4=1 である。式2からこれを引き、a2−a3≠0a_2-a_3\ne0a2−a3=0 で割ると −x1−x2+x3+x4=0-x_1-x_2+x_3+x_4=0−x1−x2+x3+x4=0 を得る。