Lemma 15.6. Assuming that:

Then there is an

N ≽ M

with

| N | \leq | M | + | L |

and

N

ℵ_{0}