Theorem: (Pythagorean identity) The following formula holds for all $x$: $$\sin^2(x)+\cos^2(x)=1,$$ where $\sin$ denotes the sine function and $\cos$ denotes the cosine function.
Proof: █
