tan(A-B) derivation in terms of tan(A) and tan(B) [video]