Category:Equivalence of Definitions of P-adic Integer