theorem :: NUMBER01:8

for k being Nat holds 19 divides (2 |^ (2 |^ ((6 * k) + 2))) + 3