How do you verify cos (x - pi/2) = -sinx?