theorem :: XPRIMES1:5903

5903 is prime