theorem :: XPRIMES2:9227

9227 is prime