theorem :: XPRIMES1:5333

5333 is prime