theorem :: XPRIMES0:244

not 244 is prime