巡回恒等式で a=b=c=ua=b=c=ua=b=c=u と置くと、すべての uuu で 3P(2u,u)=03P(2u,u)=03P(2u,u)=0。よって PPP は x=2yx=2yx=2y 上で消え、PPP は x−2yx-2yx−2y を因子にもつ。