theorem :: XPRIMES1:5743

5743 is prime