Inverse Tangent is Odd Function

Theorem
Everywhere that the function is defined:
 * $\map \arctan {-x} = -\arctan x$