theorem :: XPRIMES1:5179

5179 is prime