Characterization of Rational P-adic Integer

Proof
From Valuation Ring of P-adic Norm on Rationals: