theorem :: XPRIMES0:668

not 668 is prime