Divisor of Integer/Examples/2 does not divide 5

Example of Non-Divisor of Integer

 * $2 \nmid 5$

where $\nmid$ denotes non-divisibility.

Proof

 * $5 = 2 \times 2 + 1$

As the remainder is not $0$, the result follows.