theorem :: XPRIMES0:1142

not 1142 is prime