theorem :: XPRIMES0:171

not 171 is prime