Finiteness theorem Ahlfors finiteness theorem Compactness theorem Finiteness theorem for a proper morphism