theorem :: XPRIMES2:9623

9623 is prime