Category:Characterization of Integer has Square Root in P-adic Integers