How do you prove (csc(t)1)(csc(t)+1)=cot2(t)?