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