theorem Th78: :: NUMBER07:78

for k, n being Nat st k > 0 & n = (28 * k) + 1 holds
(((2 |^ (2 * n)) + 1) |^ 2) + (2 |^ 2) is composite