theorem :: XPRIMES1:5153

5153 is prime