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