Proposition 4
Tag 0BWZ, permanent. Cite it as [Bourbaki, Tag 0BWZ].
General Topology, chapter VI, § 2. Euclidean distance, balls and spheres
If , the Euclidean sphere is homeomorphic to the space made compact by adjoining a "point at infinity"(Chapter I, § 9, no. 8, Theorem 4).
For the stereographic projection defines a homeomorphism of the complement of a point in onto a hyperplane of , which is homeomorphic to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.