Composite of Homeomorphisms between Metric Spaces is Homeomorphism

Theorem
Let $M_1, M_2, M_3$ be metric spaces.

Let $f: M_1 \to M_2$ and $g: M_2 \to M_3$ be homeomorphisms.

Then $g \circ f: M_1 \to M_3$ is also a homeomorphism.

Proof
By definition of homeomorphism, $f$ and $g$ are both bijections.

From Composite of Bijections is Bijection it follows that $g \circ f$ is also a bijection.

Similarly, also by definition of homeomorphism, $f$ and $g$ are both continuous mappings.

From Composite of Continuous Mappings on Metric Spaces is Continuous it follows that $g \circ f$ is also a continuous mapping.

Hence the result, from definition of homeomorphism.