theorem :: XPRIMES2:7043

7043 is prime