How do you verify Sin[(3pi/2)+theta]= -cos(theta)?