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