theorem :: XPRIMES2:7057

7057 is prime