theorem :: XPRIMES1:5953

5953 is prime