theorem :: XPRIMES2:9551

9551 is prime