Cotangent of Right Angle

Theorem

 * $\cot 90^\circ = \cot \dfrac \pi 2 = 0$

where $\cot$ denotes cotangent.