Es gilt, dass f_m ≤ k_m≤k_(m+1) und f_m ≤ l_m ≤ l_(m+1) und somit auch f_m ≤ min(k_(m+1),l_(m+1)) = f_(m+1)
g_m = l_m oder g_m = k_m und auch g_m ≤ l_(m+1)≤max(l_(m+1),k_(m+1)) oder g_m ≤ k_(m+1)≤max(l_(m+1),k_(m+1))
somit gilt g_m ≤ max(l_(m+1),k_(m+1)) = g_(m+1)