theorem :: XPRIMES2:7883

7883 is prime