theorem :: XPRIMES0:218

not 218 is prime