independence of valuations
Let , …, be non-trivial (i.e., they all have also other values than 0 and 1) and pairwise non-equivalent valuations of a field , all with values real numbers. If , …, are some elements of this field and is an arbitrary positive number, then there exists in an element which satisfies the conditions