Изменения

Аналогичные рассуждения применяем для женщин. Пусть какая-то женщина не замужем. Значит, есть мужчина, который остался не женат. Но мы доказали, что по завершении алгоритма все мужчины заняты. Снова пришли к противоречию.

}}

{{Лемма