О существовании неотделимой пары в рекурсивной теории допустимых множеств

Построено допустимое множество, в котором любая пара непересекающихся рекурсивно-перечислимых множеств рекурсивно отделима.