Изменения
→Эквивалентность k-счётчиковой машины двухсчётчиковой
*Уменьшить <tex>i</tex>-й счётчик. Для этого необходимо поделить значение счётчика на <tex>p_i</tex>.
*Сравнить с нулём значение <tex>i</tex>-го счётчика. Для этого необходимо найти остаток от деления значения счётчика на <tex>p_i</tex> и сравнить его с нулём.
Операции умноженияна константу, деления на константу и нахождения остатка от деления на константу значения счётчика при помощи двух счётчиков одного вспомогательного счётчика описаны в предыдущей лемме.
Таким образом, для любого <tex>k</tex> и для любой <tex>k</tex>-счётчиковой машины существует эквивалентная ей двухсчётчиковая машина.
}}
