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