Let $p$ be a prime, $m$ be a positive integer, and $n$ be an integer. Then $p^m$ exactly divides $n$ (denoted as $p^m \Vert n$ if $p^m$ divides $n$ and $p^{m+1}$ does not divide $n$