Category:Characterization of Polynomial has Root in P-adic Integers