グラフ理論において、安定結婚問題があります。

ある２部グラフの特定の安定マッチングにおいて、ペアを作れなかった人(たとえば男性数>女性数でのマッチングで存在)は、どのような安定マッチングにおいてもペアが作れないことを、安定結婚問題における「絶望の定理」と呼ぶらしいのですが、この定理の証明を見つけられずにいます。

証明自体、もしくは証明のソースをご存知の方はいらっしゃいますでしょうか。