$F(v,G)$ را برابر مجموع فاصلهی راس $v$ تا همهی راسها در گراف $G$ تعریف میکنیم (در صورتی که $G$ ناهمبند باشد مقدار این تابع بینهایت است)
$H(v,u,w,T)$ را گرافی تعریف میکنیم که از حذف یال $(v,u)$ از $T$ و اضافه کردن یال $(v,w)$ به آن بوجود میآید در شروع یک درخت $T$ داریم. در هر مرحله اگر یک یال $(v,u)$ و یک راس $w$ در $T$ وجود داشت به طوری که $F(v,H(v,u,w,T))<F(v,T)$ آنگاه $H(v,u,w,T)$ را جایگزین $T$ میکنیم و همین کار را تکرار میکنیم.
ثابت کنید مستقل از روش انتخاب یال $(v,u)$ و راس $w$ گراف $T$ پس از چند مرحله به ستاره تبدیل میشود.