Theorem: The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}x} \cos(x) = -\sin(x),$$ where $\cos$ denotes the cosine and $\sin$ denotes the sine.
Proof: █
