theorem :: XPRIMES2:7877

7877 is prime