theorem :: XPRIMES1:5273

5273 is prime