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 1 + 1$

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

$\blacksquare$