>>15
連結な多様体が弧状連結を証明すれば良い
それには多様体の1点から弧状連結な範囲が開集合を証明すれば良い
多様体は局所的にユークリッドだから各点に開球近傍があり
開球は弧状連結だから満たされる