Category:P-adic Integers is Valuation Ring Induced by P-adic Norm