P=(x−2y)QP=(x-2y)QP=(x−2y)Q と書く。巡回恒等式に (a,b,c)=(a,b,b)(a,b,c)=(a,b,b)(a,b,c)=(a,b,b) を代入すると 2(a−b)[Q(a+b,b)−Q(2b,a)]=02(a-b)[Q(a+b,b)-Q(2b,a)]=02(a−b)[Q(a+b,b)−Q(2b,a)]=0、したがってすべての x,yx,yx,y で Q(x,y)=Q(2y,x−y)Q(x,y)=Q(2y,x-y)Q(x,y)=Q(2y,x−y)。