theorem :: XPRIMES1:5059

5059 is prime