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