theorem :: XPRIMES0:1218

not 1218 is prime