Properties of Stable Matchings