Exercise 5.3.2 solution
\(\cos ( 90^\circ - A ) =\cos90^\circ\cos A + \sin90^\circ\sin A = 0\cdot\cos A + 1\cdot\sin A = \sin A\)