theorem :: XPRIMES0:1170

not 1170 is prime