How do you verify the identity sec(AB)=secAsecB1+tanAtanB?