theorem :: XPRIMES2:7873

7873 is prime