theorem Th39: :: NUMBER09:39

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