theorem :: XPRIMES0:1000

not 1000 is prime