Nótese que un apareamiento es máximo si y sólo si no contiene ningún camino M-incremento.