Using the identity $ \cos(90^\circ - x) = \sin x $, but here we use: