theorem :: XPRIMES0:1219

not 1219 is prime