text: Заметим, что все склеиваемые отображения являются гладкими, в частности, когда мы склеиваем I × D m − 1 {\displaystyle I\times D^{m-1}} с D m {\displaystyle D^{m}} , отношение эквивалентности образуется путём вложения ( ∂ I ) × D m − 1 {\displaystyle (\partial I)\times D^{m-1}} в ∂ D m {\displaystyle \partial D^{m}} , которое гладко по теореме о трубчатой окрестности.