theorem :: XPRIMES0:798

not 798 is prime