Ora per ogni formula_16 con formula_17, consideriamo gli insiemi aperti formula_18 e formula_19.
Visto che formula_20 è più piccolo di formula_21, c'è qualche elemento di formula_21 che può essere messo in formula_20 mantenendo il risultato indipendente.
Tuttavia formula_24 è un elemento di peso massimale che può essere aggiunto a formula_20 per mantenere l'indipendenza.
Per cui formula_24 è di peso non inferiore di qualche elemento di formula_21, e quindi formula_24 è of almeno di peso pari a formula_29.