By the original lemma, then, that matching (whether M or M′) cannot be a maximum matching, which contradicts the assumption that both M and M′ are maximum.
По исходной лемме тогда это паросочетание (M или M′) не может быть наибольшим, что противоречит предположению о том, что оба паросочетания M и M′ являются наибольшими.