theorem :: XPRIMES2:7529

7529 is prime