theorem :: XPRIMES2:7283

7283 is prime