How do you verify the identity 1/(tanxcscxsinx)=cotx?