theorem :: XPRIMES1:5303

5303 is prime