theorem Th25: :: NUMBER09:25

Mersenne 19 is prime