theorem :: XPRIMES1:797

797 is prime