Wir gehen zum Abschluss von T über. Dabei bleiben die beiden Bedingungen erhalten. Nach Fakt ist der Abschluss kompakt und nach Fakt besitzt die Folge eine konvergente Teilfolge.