theorem :: XPRIMES0:143

not 143 is prime