How do you prove (csc(t)-1)(csc(t)+1)=cot^2(t)?