theorem :: XPRIMES0:140

not 140 is prime