theorem :: XPRIMES0:679

not 679 is prime