theorem :: XPRIMES0:250

not 250 is prime