例えば x1x_1x1 が 0 なら、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 で割ってよい。