Corollary 1

Tag 06B4, permanent. Cite it as [Bourbaki, Tag 06B4].

— We keep the hypothesis and notation of Prop. 9. If l is non-empty, then $H_f$ is infinite.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.