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: █
