How do you verify (sectan)(csc+1)=cot?