theorem :: XPRIMES2:9043

9043 is prime