theorem :: XPRIMES1:4049

4049 is prime