Equivalence of Definitions of P-adic Valuation on P-adic Numbers

Theorem
Let $\struct {\Q_p, \norm {\,\cdot\,}_p}$ be the $p$-adic numbers for some prime $p$.