theorem Th48: :: NUMBER09:48

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