theorem :: XPRIMES1:4903

4903 is prime