theorem Th16: :: NUMBER04:16

{ n where n is non zero even Nat : ( n divides (2 |^ n) + 2 & n - 1 divides (2 |^ n) + 1 ) } is infinite