How do you prove #\sin ( \frac { \pi } { 2} - x ) \cot ( \frac { \pi } { 2} + x ) = - \sin x#?