theorem :: XPRIMES2:7523

7523 is prime