Since M′ is larger than M, D contains a component that has more edges from M′ than M. Such a component is a path in G that starts and ends with an edge from M′, so it is an augmenting path.
Поскольку M′ больше M, D содержит компоненту, которая имеет больше рёбер изM′, чем из M. Такая компонента является путём в G, который начинается и кончается ребром из M′, так что он является расширяющим.