首先看如下定理：

特別的：

證明如下：

先畫圖觀察：

其次要證明交換圖，我們需要思路是：

即是：

那么先設(shè)：

接著設(shè)：

以及沿邊的道路：

最后則有：

那么有推論：

其中定理58.7證明如下，利用引理58.4：

接著就是形變收縮核的概念：

以及例子：