How do you prove (cscx+cotx)(cscx-cotx)=1?