322
правки
Изменения
→Условие теоремы
[[Файл:El_graph.png|thumb|140px|right|Завершение алгоритма]]
<div>
Докажем неравенство <tex>\max\limits_{I \in I_1 \cap I_2 } |I| \le \min\limits_{A \subseteq X} \left(r_1(A) + r_2(X \setminus A)\right)</tex>
Выберем произвольные <tex>I \in I_1 \cap I_2</tex>, <tex>A \subseteq X</tex>, тогда
В силу произвольности <tex>I</tex> и <tex>A</tex> получаем
<tex>\max\limits_{I \in I_1 \cap I_2 } |I| \le \min\limits_{A \subseteq X} \left(r_1(A) + r_2(X \setminus A)\right)</tex>
