Then, in the stable matching that matches formula_28 to formula_24 (which must exist by the definition of the best match of formula_28), formula_23 and formula_24 would be an unstable pair, because formula_24 prefers formula_23 to formula_28 and formula_23 prefers formula_24 to any other partner in any stable matching.