Proposición 4.8.1.(Propiedades del Valor Absoluto p --ádico)