Category:P-adic Expansion is a Cauchy Sequence in P-adic Norm