theorem :: XPRIMES2:7927

7927 is prime