theorem :: XPRIMES1:4723

4723 is prime