theorem :: XPRIMES2:9649

9649 is prime