theorem :: XPRIMES1:1999

1999 is prime