Category:Characterization of P-adic Unit has Square Root in P-adic Units