How do you verify the identity #sec^2xcotx-cotx=tanx#?