sentence1: gale and shapley showed that a stable matching always exists and gave an efficient algorithm to find one .
sentence2: in their seminal paper , gale and shapley introduced the above problem , and provided a constructive proof of existence of so called stable matchings .