theorem :: XPRIMES1:5393

5393 is prime