The Uniqueness of Stable Matchings