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