喺 1973 年，有電腦科學家執咗嚇結構化程式定理，跟手仲證明，只要一隻程式語言有多層離開嘅功能，就可以避免加多啲變數－是但搵個整數 n，都會有個程式具有一個離開 n 個迴圈嘅多層離開，而呢個程式唔可以重寫做一個具有離開 m 個迴圈（m < n）、而且變數數量一樣或者更少嘅程式。