theorem :: XPRIMES2:6949

6949 is prime