theorem Th66: :: NUMBER04:66

for k being Nat holds (10 |^ ((6 * k) + 4)) + 3 is composite