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