theorem :: XPRIMES0:1670

not 1670 is prime