若某数(设为 x1x_1x1)为零,则对应 x2x_2x2 的方程迫使 x2=2x_2=2x2=2,同理 x3=x4=2x_3=x_4=2x3=x4=2。但对应 x1x_1x1 的方程中 x2x3x4=8x_2x_3x_4=8x2x3x4=8 而非 222。因此可以对每个 xix_ixi 作除法。