theorem :: XPRIMES2:9283

9283 is prime