σ(u+v)σ(uv)σ(x+y)σ(xy)+σ(v+x)σ(vx)σ(u+y)σ(uy)+σ(x+u)σ(xu)σ(v+y)σ(vy)=0.