theorem :: XPRIMES2:9479

9479 is prime