theorem :: XPRIMES1:953

953 is prime