theorem :: NUMBER03:42

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