theorem :: XPRIMES2:6823

6823 is prime