Theorem 4

Tag 0C5Z, permanent. Cite it as [Bourbaki, Tag 0C5Z].

General Topology, chapter IX, § 4. Normal spaces

Every metrizable space is paracompact.

The theorem is a consequence of the following four lemmas.

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

Cited by

Nothing.