theorem :: NUMBER10:41

for n being Nat st n > 1 holds
(1 / 5) * ((2 |^ ((4 * n) + 2)) + 1) is composite