theorem :: XPRIMES0:1798

not 1798 is prime