Изменения

<tex>B</tex> {{---}} база, следовательно <tex>B \in I, </tex> при этом <tex>\widehat{x} \notin B,</tex> а <tex>B \cup \widehat{x} \notin I. </tex> Тогда, по прошлому утверждению, существует <tex>x \in C \subseteq B \cup \widehat{x}, </tex> а <tex>(B \cup \widehat{x}) \setminus x \in I.</tex>

<tex>x</tex> содержится в <tex>B \setminus \widehat{B}, </tex> так как <tex> \widehat{x} \in B \setminus (B \setminus \widehat{B}) \in I. </tex>

}}