theorem :: XPRIMES2:9041

9041 is prime