Parciales

Por la parte anterior (1c) vos sabés que $\scriptstyle{|Le(\alpha)| \leq Cant(\alpha)}$.

Si $\scriptstyle{|Le(\alpha)| \neq Cant(\alpha)}$

=> [aritmética]

$\scriptstyle{|Le(\alpha)| < Cant(\alpha)}$

Luego aplicando las definiciones de Le y Cant sale (hay dos casos: $\scriptstyle{p_i \in Le(\alpha)}$ y $\scriptstyle{p_i \not\in Le(\alpha)}$ , pero siempre podés acotar el valor de $\scriptstyle{|Le(pi \rightarrow \alpha)|}$ ).