دو زیردرخت فراگیر $T$ و $T'$ از گراف همبند $G$ داده شده‌است. ثابت کنید نگاشت یک‌به‌یک و پوشای $f: E(T) \rightarrow E(T')$ وجود دارد به طوری که برای هر $e \in E(T)$، $T-e+f(e)$ نیز یک درخت باشد.