Así vamosxm→p,{xm}⊆A. AsA es compacto, la secuencia se{xm} agrupa en algunaq∈A, es decir, tiene una subsecuencia\(x_{m_{k}...Así vamosxm→p,{xm}⊆A. AsA es compacto, la secuencia se{xm} agrupa en algunaq∈A, es decir, tiene una subsecuenciaxmk→q∈A. Sin embargo, el límite de la subsecuencia debe ser el mismo que el de toda la secuencia.
