La norma "p"-ádica define una métrica sobre