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