>>414 出鱈目 ← これなんて読むかわからなかっただけです。

閉区間が多様体になることを厳密に証明しようとして、難しく考えすぎてただけです。