Divisor of Integer/Examples/6 divides 7^n - 1

Theorem
Let $n \in \Z_{\ge 0}$ be a positive integer.

Then:
 * $6 \divides 7^n - 1$

where $\divides$ denotes divisibility.