As this valuation is non-trivial, there must be a natural number for which |n|∗ < 1.
Δεδομένου ότι αυτή η εκτίμηση είναι μη τετριμμένη, πρέπει να υπάρχει ένας φυσικός αριθμός για τον οποίο |n|∗ < 1.