theorem :: XPRIMES1:5737

5737 is prime