theorem :: NUMBER03:43

{ n where n is Nat : ( n divides (2 |^ n) + 1 & n is prime ) } = {3}