theorem Th34: :: NUMBER09:34

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