Fogadjuk el bizonyítás nélkül, hogy minden természetes $n$ szám mellett létezik olyan $P_n$ polinom, amelyre fennáll a $\text{sin}nx=P_n\left(\text{cos}x\right)\cdot \text{sin}x$ azonosság. Mutassuk meg, hogy $P_n\left(1\right)=n$.