Tangent of Zero

Theorem

 * $\tan 0 = 0$

where $\tan$ denotes tangent.