Divisor of Integer/Examples/6 divides n (n+1) (n+2)

Theorem
Let $n$ be an integer.

Then:
 * $6 \divides n \paren {n + 1} \paren {n + 2}$

where $\divides$ indicates divisibility.