可能な等式を展開して整理すると yz−xy−xz+x=0yz-xy-xz+x=0yz−xy−xz+x=0 となる。因数分解すれば (y−x)(z−x)=x(x−1)(y-x)(z-x)=x(x-1)(y−x)(z−x)=x(x−1) であり、これが式の値が重なるための必要十分条件である。