theorem :: XPRIMES2:7919

7919 is prime