(tan a-tan b)/(cot a-cot b )
=[(sinacosb-cosasinb)/cosacosb]/[(sinbcosa-cosbsina)/sinasinb]
=sinasinb/cosacosb
=tanatanb.