theorem :: XPRIMES0:1678

not 1678 is prime