Si formula_81 y para cada número racional formula_82 , formula_83 entonces la función multiplicativa formula_84 define una métrica sobre formula_60.