theorem :: PEPIN:61

257 is prime