Divisor of Integer/Examples/3 does not divide 4

Example of Non-Divisor of Integer

 * $3 \nmid 4$

where $\nmid$ denotes non-divisibility.

Proof

 * $4 = 3 \times 4 + 1$

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