Prove
Lemma 9 ([Joining an ordered band]). Consider k ordered layers from one…Proposition 13. After all groups have been processed, every layer is either…Proposition
For an individual block, or any block with k=1 , no internal addition is needed. For a collective block, gives f_H(t)-l_ L_* (t)≤(k-1)p. Apply Lemma 9 ([Joining an ordered band]) with h=(k-1)p .