donde "v" es la evaluación "p"-ádica de "a" (es decir, la mayor potencia de "p" que lo divide).