Additive Function of Zero is Zero

Theorem
Let $f: \R \to \R$ be an additive function.

Then:
 * $\map f 0 = 0$

Proof
As $f$ is additive, we have:

that is:


 * $\map f 0 = 0$