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