Divisor of Integer/Examples/2 divides 4

Example of Divisor of Integer

 * $2 \divides 4$

where $\divides$ indicates divisibility.

Proof

 * $4 = 2 \times 2$