theorem :: XPRIMES2:9973

9973 is prime