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