 Ostrowski's theorem

Every nontrivial absolute value on $\mathbb{Q}$ is equivalent either to the usual absolute value or to one $p$-adic absolute value.