Every pair formula_85 of elements of a given stable matching instance belongs to at most two rotations: one rotation that, when applied to the lower of two matchings, removes other assignments to formula_23 and formula_24 and instead assigns them to each other, and a second rotation that, when applied to the lower of two matchings, removes pair formula_85 from the matching and finds other assignments for those two elements.