theorem :: XPRIMES2:6043

6043 is prime