Изменения
Нет описания правки
|statement=Для любого бесконечного перечислимого множества <tex>B</tex> верно, что <tex>B \not \subset \overline{E(q)}</tex>.
|proof=
[[Иммунные и простые множества#Лемма(1)|По первой лемме]] существует элемент <tex>B</tex>, принадлежащий <tex>E(q)</tex>, и, следовательно, не принадлежащий <tex>\overline{E(q)}</tex>.
}}
Получаем:
[[Иммунные и простые множества#Лемма(2)|Из леммы (2)]] и [[Иммунные и простые множества#Лемма(3)|Из леммы (3)]] следует, что <tex>\overline{E(q)}</tex> {{---}} иммунно.
По построению <tex>E(q)</tex> перечислимо, его дополнение иммунно и, [[Иммунные и простые множества#Лемма(3)|по лемме (3)]], бесконечно, а значит {{---}} оно простое.
