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