theorem :: XPRIMES1:5051

5051 is prime