theorem :: XPRIMES0:687

not 687 is prime