theorem :: XPRIMES0:1791

not 1791 is prime