theorem :: XPRIMES2:7253

7253 is prime