Existence of stable matchings