47
правок
Изменения
→Доказательство корректности
|about=Лемма 1
|statement=
Алгоритм завершается после максимум <tex>n^2 </tex> итераций цикла '''while'''
|proof=
На каждой итерации мужчина делает предложение очередной женщине. Но всего может быть не более n^2 предложений.
