theorem :: XPRIMES2:6323

6323 is prime