Notemos que las condiciones T y T corresponden a las proposiciones 12.2.2 y 12.2.3 reemplazando compactos por cerrados.