theorem :: XPRIMES0:614

not 614 is prime