theorem :: XPRIMES1:4057

4057 is prime