P-adic Norm is Norm

Theorem
The $p$-adic norm forms a norm on the rational numbers $\Q$.