theorem :: XPRIMES0:1099

not 1099 is prime