theorem :: XPRIMES2:6143

6143 is prime