従って、Eの判定器Rがあれば、任意のマシンMと入力wに関する停止問題H(M,w)の判定器Sを作ることができる。
因此若我们有了E的一仲裁机器R，则我们将能产生停机问题H(M,w)及任何机器M与任何输入字串w的仲裁机器S。