Category:Valuation Ring of P-adic Norm is Subring of P-adic Integers