Integers form Subring of P-adic Integers