theorem :: XPRIMES0:174

not 174 is prime