Notemos que para todo x, |x|_p es un número entero, que es una potencia de p cuando x no es nulo.