theorem :: XPRIMES0:670

not 670 is prime