By Lemma 2, we can always continue the process whenever formula_77 and thus when the process terminates we have that formula_78 Also, note that when we pass to a subprogression, the size of our set decreases by a cube root.