差分

として示される。これは $$z=e^{i(\pi-\theta)}$$ として $$(x+yz)^2=x^2+y^2z^2+2xyz$$ にみゆの累乗恒等式を適用することで導くことができる。に本定理を適用することで導くことができる。