theorem :: XPRIMES0:688

not 688 is prime