theorem :: XPRIMES0:170

not 170 is prime