theorem :: XPRIMES1:4733

4733 is prime