theorem Th41: :: PEPIN:41

3 is prime