Существование базисов по суперпозиции в счетных примитивно рекурсивно замкнутых классах одноместных функций

Доказано, что для произвольного счетного примитивно рекурсивно замкнутого класса функций $\mathfrak M$ класс $\mathfrak M_1$ всех одноместных всюду определенных функций из $\mathfrak M$ имеет счетный базис по суперпозиции. Библ. 5 назв.