Maß/Eindeutigkeitssatz/Durchschnittsstabiles Erzeugendensystem und Ausschöpfung/Beweis/Endlichkeit/Aufgabe

Wo geht in den Beweis zu Fakt die Endlichkeit

der ein?