Category:Congruence Modulo Equivalence for Integers in P-adic Integers