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

Если $A$ и $B$ — семейства общерекурсивных точек с одноэлементными полурешетками вычислимых нумераций и если $a_1,\dots,a_n,b_1,\dots,b_s$ — различные общерекурсивные функции, предельные для $A$ и $B$ соответственно, то полурешетки вычислимых нумераций семейств $A\cup\{a_1,\dots, a_n\}$ и $B\cup\{b_1,\dots, b_s\}$ изоморфны тогда и только тогда, когда $n=s$.