But then one of M and M′ must have one fewer edge than the other in this component, meaning that the component as a whole is an augmenting path with respect to that matching.
Но тогда одно из паросочетаний M или M′ должно иметь меньше рёбер в этой компоненте, что означает, что эта компонента в целом является расширяющим путём для этого паросочетания.