Real sine and cosine function/Derivative/Fact/Proof/Exercise