呢條定理嘅證明令到編程呢個領域嘅人放棄咗「一個程式梗要有 goto」嘅諗法，確立 goto 係一樣不必要（而且撈絞）嘅嘢，而有電腦科學家指出，放棄 goto 嘅使用令電腦程式變得更加易明同易改。