theorem Mersenne3: :: NUMBER18:35

3 is mersenne Prime