Изменения
→Доказательство корректности
Нет неустойчивых пар.
|proof=
# A не делал предложения b. <tex> \Rightarrow</tex> A находит a более привлекательной, чем b <tex> \Rightarrow</tex> A-b — устойчивая пара
# A делал предложения b <tex> \Rightarrow</tex> b отказала A (сразу или на одной из последующих итераций) <tex> \Rightarrow</tex> b находит B более привлекательным, чем A <tex> \Rightarrow</tex> A-b — устойчивая пара
