theorem :: XPRIMES0:1250

not 1250 is prime