Позитивные нумерации семейств с однозначными нумерациями

Доказано, что полурешетка вычислимых нумераций семейства рекурсивно-перечислимых множеств с однозначной вычислимой нумерацией имеет либо наименьший элемент, либо счетное число минимальных элементов.