Prove (cscx+cotx)(cscx-cotx)=1