theorem :: XPRIMES2:6221

6221 is prime