theorem :: XPRIMES2:7823

7823 is prime