theorem :: XPRIMES1:4093

4093 is prime