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