Sine/R/Series/Addition theorem/Exercise

Prove the addition theorem

${}\sin(x+y)=\sin x\cdot \cos y+\cos x\cdot \sin y\,$

for the sine using the defining power series.

Create a solution