0N2X Theorem 2.3 ([Ki]). The continuous homomorphism of topological monoids π³ππβ‘(n)βπ€ππ»β‘(βn,βn){\sf Top}(n)\to{\sf Emb}(\mathbb{R}^{n},\mathbb{R}^{n}) is a homotopy equivalence.