theorem :: XPRIMES0:1172

not 1172 is prime