theorem :: PEPIN:60

17 is prime