The $p$-Adic Absolute Value Is a Non-Archimedean Absolute Value