How do you prove #cos(pi/2 + theta) = -sin(theta)#?