theorem :: XPRIMES0:1796

not 1796 is prime