theorem :: XPRIMES2:9241

9241 is prime