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.