theorem :: XPRIMES1:4523

4523 is prime