Cosecant of Right Angle

Theorem

 * $\csc 90^\circ = \csc \dfrac \pi 2 = 1$

where $\csc$ denotes cosecant.