theorem Th14: :: NUMBER04:14

for n being even Nat st n divides (2 |^ n) + 2 holds
ex k being non zero odd Nat st (2 |^ n) + 2 = n * k