Divisor of Integer/Examples/3 does not divide 10

Example of Non-Divisor of Integer

 * $3 \nmid 10$

where $\nmid$ denotes non-divisibility.

Proof

 * $4 = 3 \times 3 + 1$

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