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

Proof
From Integer Less One divides Power Less One, we have that:
 * $\forall m, n \in \Z: \paren {m - 1} \divides \paren {m^n - 1}$

This result is the special case where $m = 9^2$.