Endlichkeitssatz