Изменения

|statement= Пусть <tex>M = \langle X,\mathcal{I} \rangle </tex> &mdash; [[Определение матроида|матроид]]. Множества <tex>A, B \in \mathcal{I}</tex> {{---}} независимы, причем <tex>|A| = |B|</tex>. Тогда двудольный граф <tex>D_{M}(\mathcal{I}A)</tex> содержит полное паросочетание на <tex>A \bigtriangleup B</tex>.