Изменения

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