theorem :: XPRIMES0:2000

not 2000 is prime