在输入为w时停止，故S可接受。因此若我们有了E的一仲裁机器R，则我们将能产生停机问题H(M,w)及任何机器M与任何输入字串w的仲裁机器S。但我们已知此S绝对不存在，故得矛盾。因此可知语言E同样也是不可决定的。
註.归约亦是一种预序关系，意指在P(N)×P(N)，此P(N)上拥有自反关系与传递关系，此处的P(N)是自然数的幂集（power set）。若在某个复杂度类别上的所有问题都可归约成某问题P，则可称P是完备（complete）的，且P自己也会处于此类别中。故问题P代表此类别