theorem :: XPRIMES0:1168

not 1168 is prime