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