theorem :: XPRIMES0:698

not 698 is prime