Tangent of Sum/Corollary

Corollary to Tangent of Sum

 * $\map \tan {a - b} = \dfrac {\tan a - \tan b} {1 + \tan a \tan b}$

where $\tan$ is tangent.