theorem :: XPRIMES0:694

not 694 is prime