Divisor of Integer/Examples/63 divides 8^2n - 1

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

Then:
 * $63 \divides 8^{2 n} - 1$

where $\divides$ denotes divisibility.