2部グラフ"g"("x","y")が"x"-飽和マッチングを持たないと仮定して矛盾を導く。