Key to so called 'division' induction (which by the way, is not division, its about proving something is a FACTOR) is factorisation.
Say to prove um...
(5^n)-1 is divisible by 4.
In the second step, we assume this is true for n=k, i.e.
(5^k)-1 = 4p, where p is any integer (so really...