theorem :: XPRIMES0:1141

not 1141 is prime