theorem :: XPRIMES2:9281

9281 is prime