Eine doppelte Anwendung des Additionstheorems für den Kosinus ergibt mit Fakt
für alle z ∈ [ 0 , π ] {\displaystyle {}z\in [0,\pi ]} . Daher muss überhaupt die behauptete polynomiale Identität vorliegen.