theorem :: XPRIMES1:5297

5297 is prime