theorem :: XPRIMES1:5791

5791 is prime