Una prueba similar se mantiene paras, también, sis:M→[0,∞). El casos:M→En(Cn) resulta vía Teorema 5 y Problema 10 (iii...Una prueba similar se mantiene paras, también, sis:M→[0,∞). El casos:M→En(Cn) resulta vía Teorema 5 y Problema 10 (iii) previstoS∈M; para entonces por Corolario 1,vsS<∞ asegura la finitud devs,s+, es− incluso enN.]