"Endlichkeitssatz" Englisch