第一个不等式说明 (y+z)x(y+z)x(y+z)x 大于 y+zxy+zxy+zx,第二个说明 (x+z)y(x+z)y(x+z)y 大于 x+yzx+yzx+yz。因此除 x+yzx+yzx+yz 与 (y+z)x(y+z)x(y+z)x 之外,两条链之间的比较都已确定;其余各值严格有序。