theorem :: XPRIMES0:796

not 796 is prime