theorem Th47: :: NUMBER09:47

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