一个每次至少去掉一块的收缩过程,不可能在一堆有限的东西上无休止地进行下去;它必须停下来,而能够停下来的最小形状,正是孤零零地待在自己外部区域中的那一个三角形。
由于每次去掉都会让图严格变小,这个剥离过程必定会终止,而且只能在恰好剩下一个三角形时终止:三个顶点、三条边、两个面——三角形本身以及周围的外部区域。对这个最小的图,V−E+F=3−3+2=2V - E + F = 3 - 3 + 2 = 2V−E+F=3−3+2=2。