5. Powrót do punktu numer 2 lub koniec algorytmu, jeżeli każda kobieta odnalazła swojego preferowanego, przyszłego męża.
Algorytm zawsze prowadzi do powstania stabilnych par. Aby to udowodnić załóżmy, że – przeciwnie do stwierdzenia zawartego w poprzednim zdaniu – jeden mężczyzna, preferuje inną kobietę względem swojej obecnej partnerki. W takim przypadku oświadczył się jej przed poproszeniem o rękę swojej obecnej narzeczonej. Jednakże gdyby ta kobieta również preferowałaby go względem swojego obecnego partnera, to nie przyjęłaby wcześniej oświadczyn swojego obecnego narzeczonego.
Wynikiem algorytmu odroczonej akceptacji są zawsze najlepsze możliwe stabilne pary z punktu widzenia mężczyzn. Oznacza to, że żaden mężczyzna nie zmieniłby swojej pary względem jakiegokolwiek innego stabilnego dopasowania.