theorem Th49: :: NUMBER04:49

for n being composite Nat st n <= 1105 & n divides (2 |^ n) - 2 holds
n in {341,561,645,1105}