Monotone Additive Function is Linear

Theorem
Let $f:\R\to\R$ be a monotonic function which is additive, i.e., $f\left(x+y\right)=f\left(x\right)+f\left(y\right)$ for all $x,y\in\R$.

Then, there exists $a\in\mathbb{R}$ such that $f\left(x\right)=ax$ for all $x\in\R$.

Proof
Let $a=f\left(1\right)$. Then $f\left(1\right)=a\times1$. Supposing, by induction, that $f\left(n\right)=an$ for some $n\in\N$, we have $f\left(n+1\right)=f\left(n\right)+f\left(1\right)$ which is $an+a=a\left(n+1\right)$. So:

$\forall n\in\mathbb{N},\,\,\,\,\,\, f\left(n\right)=an $

We also have: $f\left(1\right)=f\left(0+1\right)=f\left(0\right)+f\left(1\right)$, that is:

$f\left(0\right)=0$

Another milestone: for all $x\in\mathbb{R}$, we have $0=f\left(0\right)=f\left(x+\left(-x\right)\right)=f\left(x\right)+f\left(-x\right)$, and therefore the function $f$ is odd:

$\forall x\in\mathbb{R},\,\,\,\,\,\, f\left(-x\right)=-f\left(x\right)$

Then it follows that $f\left(-n\right)=-\left(an\right)=a\left(-n\right)$. Since we have already proved to the naurals, to zero, and to the negaive integers, we see that is holds for all integers:

$\forall p\in\mathbb{Z},\,\,\,\,\,\, f\left(p\right)=ap$

Now, we have $f\left(1x\right)=1f\left(x\right)\,\forall x\in\mathbb{R}$. If we suppose, by induction, that $f\left(nx\right)=nf\left(x\right)$, we have $f\left(\left(n+1\right)x\right) = f\left(nx+x\right) = f\left(nx\right)+f\left(x\right) = nf\left(x\right)+f\left(x\right) = \left(n+1\right)f\left(x\right)$. It also holds for $n=0$: $f\left(0x\right)=f\left(0\right)=0=0f\left(x\right)\,\forall x\in\mathbb{R}$. For the negative integers, we have: $f\left(\left(-n\right)x\right)=-f\left(nx\right)=-\left(nf\left(x\right)\right)=\left(-n\right)f\left(x\right)$. Therefore:

$\forall p\in\mathbb{Z},x\in\mathbb{R},\,\,\,\,\,\, f\left(px\right)=pf\left(x\right) $

Given $q\in\mathbb{Z},q\neq0$, we have $a=f\left(1\right)=f\left(\frac{q}{q}\right)=f\left(q\frac{1}{q}\right)=qf\left(\frac{1}{q}\right)$, i.e.: