Ostrowski theorem (source code)

= Ostrowski theorem
{c}
{wiki=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.