theorem :: XPRIMES2:6863

6863 is prime