theorem :: XPRIMES2:9967

9967 is prime