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