Cotangent of 45 Degrees

Theorem

 * $\cot 45^\circ = \cot \dfrac {\pi} 4 = 1$

where $\cot$ denotes cotangent.