theorem :: XPRIMES0:680

not 680 is prime