theorem :: XPRIMES1:4783

4783 is prime