By the first corollary, if edge e is part of such an alternating chain, then a new maximum matching, M′, must exist and e would exist either in M or M′, and therefore be free.
По первому следствию, если ребро e является частью такой чередующейся цепи, то должно существовать новое наибольшее паросочетание M′ и e будет принадлежать либо M, либо M′, а потому является свободным.