theorem :: XPRIMES2:9769

9769 is prime