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