theorem :: XPRIMES1:5323

5323 is prime