theorem :: PEPIN:59

5 is prime