'p''-adic Absolute Value Is Multiplicative
   HOME