Запись

касающаяся проблемы эквивалентности нормальных алгоритмов.