theorem :: XPRIMES0:1680

not 1680 is prime