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