theorem :: XPRIMES1:5039

5039 is prime