Изменения

Так как <tex>|J| = |J \cap U| + |I \setminus U| \ge r_1 (U) + r_2 (S \setminus U)</tex>, что означает, что <tex>|J| = r_1 (U) + r_2 (S \setminus U)</tex>. Таким образом, <tex>J</tex> - максимальное по мощности независимое множество в пересечении <tex>M_1</tex> и <tex>M_2</tex>.