P-adic Integer has Unique P-adic Expansion Representative