theorem :: XPRIMES0:1794

not 1794 is prime