theorem :: XPRIMES0:1799

not 1799 is prime