theorem Th44: :: NUMBER09:44

for k being Nat holds 17 divides (((34 * k) + 24) |^ (2 |^ 3)) + 1