theorem :: XPRIMES2:9601

9601 is prime