theorem :: XPRIMES0:142

not 142 is prime