theorem :: XPRIMES2:8543

8543 is prime