Cosecant of Angle plus Right Angle

Theorem

 * $\csc \left({x + \dfrac \pi 2}\right) = \sec x$

Also see

 * Secant of Angle plus Right Angle