Sine and Cosine/Real/Addition theorem/Rotation/Fact/Proof/Exercise