theorem :: XPRIMES0:1169

not 1169 is prime