Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real sine and cosine function/Derivative/Fact/Proof/Exercise/Exercisereferencenumber