theorem :: XPRIMES0:794

not 794 is prime