Theorem 7.9 (Ostrowski’s Theorem). Assuming that:

Then || is equivalent to either the usual absolute value || or the p-adic absolute value ||p for some prime p.