theorem :: XPRIMES2:9049

9049 is prime