Prove #(cotA-cosecA+1)/(cotA+cosecA-1)=cosecA -cotA#?