theorem :: XPRIMES2:6883

6883 is prime