theorem :: XPRIMES0:172

not 172 is prime