It is proved that in programs of register machines with counters, only the equal-to/not-equal-to relations between registers and counters are essential without loss of computational capabilities.

中文翻译：

---

消除带有计数器的套准机中的不平等

事实证明，在带有计数器的寄存器机程序中，在不损失计算能力的情况下，只有寄存器与计数器之间的相等/不相等关系才是必需的。