theorem :: XPRIMES1:5843

5843 is prime