theorem :: XPRIMES2:9697

9697 is prime