theorem Th36: :: NUMBER09:36

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