theorem Th19: :: NUMBER05:19

for a, b, n being Nat st a divides b holds
(n |^ a) - 1 divides (n |^ b) - 1