О несравнимых нумерациях

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