Category:P-adic Integer has Unique Coherent Sequence Representative