theorem :: XPRIMES0:1244

not 1244 is prime