theorem :: XPRIMES0:118

not 118 is prime