theorem :: XPRIMES1:5009

5009 is prime