theorem Th13: :: NUMBER04:13

for a, k, n being Nat st k is odd holds
(a |^ n) + 1 divides (a |^ (n * k)) + 1