Con esta definición, los primos del cuerpo formula_80 de los números racionales quedan representados por la función valor absoluto así como por las valoraciones "p"-ádicas sobre formula_80 para cada número primo "p".