A Group-Theoretical Finiteness Theorem