theorem :: XPRIMES1:5023

5023 is prime