theorem :: XPRIMES2:9721

9721 is prime