theorem :: XPRIMES0:1797

not 1797 is prime