Es sei ${\displaystyle {}G=(V,E)}$ ein Graph und seien ${\displaystyle {}P}$ und ${\displaystyle {}Q}$ Paarungen in ${\displaystyle {}G}$. Es sei ${\displaystyle {}H}$ derjenige Graph auf ${\displaystyle {}V}$, dessen Kantenmenge die symmetrische Differenz von ${\displaystyle {}P}$ und ${\displaystyle {}Q}$ ist.

Dann sind die Zusammenhangskomponenten von ${\displaystyle {}H}$ von einer der folgenden Gestalt.