Thus, if we had a decider R for E, we would be able to produce a decider S for the halting problem H(M, w) for any machine M and input w.
Дакле, ако бисмо имали одлучујућ R за E, били бисмо у стању да произведемо одлучујућ S за заустављање проблема H(M, w) за било коју машину M и улазw.