theorem :: XPRIMES0:249

not 249 is prime