Ostrowski's theorem (source code)

= Ostrowski's theorem
{c}
{wiki}

= Ostrowski theorem
{c}
{synonym}

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