How do you verify the identity #sec(A-B)=(secAsecB)/(1+tanAtanB)#?