How do you verify #costhetacos(-theta)-sinthetasin(-theta)=1#?