Изменения
Нет описания правки
{{Лемма|id= ==lemma==|about=1
|statement=Для любого бесконечного перечислимого множества <tex>B</tex> существует его элемент, принадлежащий <tex>E(q)</tex>.
|proof=
{{Лемма
|id= ==lemma==
|about=2
|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>.
}}
{{Лемма|id= ==lemma==|about=3
|statement=<tex>\overline{E(q)}</tex> {{---}} бесконечно.
|proof=
