theorem :: XPRIMES2:7207

7207 is prime