Definition:P-adic Metric on P-adic Numbers