Divisor of Integer/Examples/80 divides 9^2n - 1

Theorem
Let $n \in \Z_{\ge 0}$ be a non-negative integer.

Then:
 * $80 \divides 9^{2 n} - 1$

where $\divides$ denotes divisibility.