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

• سوال بعد
• سوال قبل