これは任意のそのような微分同相写像はを満たす実数全体の微分同相写像 "f" に持ち上げられることに注意することによってわかる;この空間は凸でありしたがって弧状連結である。