theorem :: XPRIMES0:141

not 141 is prime