Все мужчины и женщины будут заняты.
|proof=
1. Предположим, что некоторый мужчина, Ян, не женат по завершении алгоритма. 2. Тогда некоторая женщина, Антонина не замужем 3. По [[#observation2|наблюдению 2]], Антонине никто не делал предложения 4. Но Ян сделал предложения всем женщинам, т.к. он остался не женат 5. Получаем противоречие 6. Аналогичные утверждения можно повторить и отталкиваясь от того, что не занята некоторая девушка, поэтому предложение доказано
}}
