Chứng minh các thuật toán bắt đầu với người đàn ông n có tổng cộng n2 phụ nữ trên của họdanh sách xếp hạng. Trên mỗi lặp đi lặp lại, một người đàn ông làm cho một đề nghị để một người phụ nữ. Điều nàylàm giảm tổng số phụ nữ mà người đàn ông có thể vẫn còn đề xuất trong cáctrong tương lai vì không có người đàn ông đề xuất với cùng một người phụ nữ nhiều hơn một lần. Do đó, cácthuật toán phải dừng lại sau khi không có nhiều hơn n2 lặp đi lặp lại.
đang được dịch, vui lòng đợi..