theorem :: XPRIMES1:4793

4793 is prime