دو زیر درخت فراگیر T و 'T از گراف همبند G داده شده است. ثابت کنید نگاشت یک به یک و پوشای وجود دارد، به طور که برای هر،نیز یک درخت باشد. ( توجه کنید زیاد هم سوال راحتی نیست ) دوره تابستانه المپیاد کامپیوتر 1385
