theorem :: NUMBER04:26

{ n where n is Nat : n divides (2 |^ n) + 2 } is infinite