Изменения

# Пусть <tex>\exists p \in \langle \langle A \rangle \rangle \setminus \langle A \rangle.</tex> Возьмем максимальное по мощности множество <tex>B \in I : B \subset A.</tex> Так как <tex>p \notin \langle A \rangle,</tex> то по определению замыкания <tex>B \cup p \in I.</tex> Следовательно, <tex>r(\langle A \rangle) = r(\langle \langle A \rangle \rangle) \ge |B \cup p| = r(A) + 1 = r(\langle A \rangle) + 1,</tex> что невозможно.

}}