ثابت کنید در هر گراف سه منتظم همبند $G$، یک گشت $T$ وجود دارد، به طوری که هر یال $G$ حداقل یک بار در $T$ ظاهر شده است، و تعداد یال‌های درون $T$ حداکثر $2(V+Ecut)$ است. که در آن $V$ تعداد راس‌های گراف $G$ و $Ecut$ تعداد یال‌های برشی گراف $G$ می‌باشد.