theorem :: XPRIMES2:7229

7229 is prime