theorem :: XPRIMES0:178

not 178 is prime