theorem :: XPRIMES2:7723

7723 is prime