theorem :: XPRIMES1:5209

5209 is prime