Every non-trivial absolute value on ℚ is equivalent to either |·|_∞ or a p-adic |·|_p. Classification of completions of ℚ.