theorem :: XPRIMES0:999

not 999 is prime