theorem :: XPRIMES2:7213

7213 is prime