theorem :: XPRIMES2:9689

9689 is prime