theorem :: XPRIMES2:9521

9521 is prime