Definition:P-adic Valuation on Rational Numbers