Cosine of Angle plus Right Angle

Theorem

 * $\cos \left({x + \dfrac \pi 2}\right) = -\sin x$