308
правок
Изменения
м
Нет описания правки
#* <tex> q \in A \cup p. </tex> Зная, что <tex> p \notin \langle A \rangle, </tex> приходим к <tex> q = p, </tex> чего нам более чем достаточно.
#* <tex> \exists H \subseteq A \cup p :\ H \in I,\ H \cup q \notin I. </tex>
#*: Заметим , что <tex> p \in H </tex>, иначе бы <tex> H </tex> подходило для <tex> q \in \langle A \rangle, </tex> поэтому запишем данное нам имеющееся у нас иначе, положив <tex> H' = H \setminus p: </tex>
#*:: <tex> \exists H' \subseteq A:\ H' \cup p \in I,\ H' \cup p \cup q \notin I. </tex>
#*: <tex> H' \cup q \in I </tex>, в противном случае в силу <tex> H' \in I </tex> было бы <tex> q \in \langle A \rangle. </tex>
