做咗呢三個步驟之後，得出嗰段碼喺功能上會同原本嗰段一樣，但冇嗮啲goto－變咗一段更加易用又不失原有功能嘅源碼。呢條定理嘅證明令到編程呢個領域嘅人放棄咗「一個程式梗要有goto」嘅諗法，確立goto係一樣不必要嘅嘢，而有電腦科學家指出，放棄goto嘅使用令電腦程式變得更加易明同易改。