Изменения

|proof=В <tex>E(q)</tex> будет содержаться первый элемент множества <tex>B</tex> не превосходящий <tex>2 i</tex>, где <tex>i</tex> — номер перечислителя множества <tex>B</tex>

}}

{{Лемма

|proof=существует элемент <tex>B</tex> принадлежащий <tex>E(q)</tex>, и следовательно не принадлежащий <tex>\overline{E(q)}</tex>.

}}

{{Лемма

|statement=<tex>\overline{E(q)}</tex> — бесконечно.

Следовательно <tex>\overline{E(q)}</tex> принадлежат не менее <tex>\frac{k}{2}</tex>

}}

Получаем:

<tex>\overline{E(q)}</tex> — иммунно.

<tex>E(q)</tex> — простое.

}}