theorem Th24: :: NUMBER09:24

Mersenne 17 is prime