theorem :: XPRIMES0:1143

not 1143 is prime