theorem :: XPRIMES2:7867

7867 is prime