Изменения
Нет описания правки
<br><tex>\omega (A \cup y) = \omega (A) + \omega (y) \ge \omega (B)</tex>
<br><tex>\omega (B \setminus y) = \omega (B) - \omega (y) \ge \omega (A)</tex>
<br>Следовательно
<br><tex>\omega (A \cup y) = \omega (A) + \omega (y) = \omega (B)</tex>