Assertion: property's value | /r/HasProperty | equivalent
Facets:
value: to either the usual absolute value
type: OTHER
value: by ostrowski's theorem
type: OTHER
Source sentences:
text: By Ostrowski's theorem, every non-trivial absolute value on the rational numbers is equivalent to either the usual absolute value or some p-adic absolute value.