tan A tan B tanC ≡ tan A tan B tan C