Definition:P-adic Valuation on P-adic Numbers