How do you prove #(sec(t)+1)(sec(t)-1)=tan^2(t)#?