theorem :: XPRIMES0:1668

not 1668 is prime