① 若对图3从顶点1交换B—D链(如图5,a。属转型交换),是一个可以同时移去两个同色D的K—构形。再从顶点4交换D—A链(如图5,b。属空出颜色的交换,在这里也可叫转型交换),不产生从顶点1到3的D—B连通链,可以从顶点1交换D—B链(空出颜色的交换),同时移去两个同色D,把D空出;也可以从顶点3交换B—D(空出颜色的交换),把B空出。只所以对图3从顶点1交换B—D链后的图5,a,是一个可以同时移去两个同色D的K—构形,是因为对其再进行逆时针转型交换(从顶点4交换D—A)后,得到了一个经过五边形三个顶点2A、4A、5C和待着色顶点V构成的A—C环,这时其相反链B—D一定是不连通的,一定是可以空出D或B来的。
② 若对图3从顶点3交换B—C链(如图6,a。属转型交换),是一个有环形链A—B的、峰点是D,两个同色是C的构形,这就是上面的b类H—构形,是可约的。图3中本来就有一条经过顶点2A、1B到顶点8A的A—B链;当从顶点3交换了B—C链后,就使得顶点6C和与顶点2A相邻的一个C色顶点都变成了B色顶点,形成了从顶点2A到顶点6B的A—B链;正好使得2A、1B到顶点8A的A—B链,连结上了从顶点6B到顶点2A的A—B链;形成了一条环形的A—B链。也就使图变成了b类H—构形而可约。
这里的证明,我们用的图3和图4都是33个顶点的图,而我们前几次证明时都是用的15个顶点的图(如图3撇和图4撇),所得到的结论都是相同的。即对于c类构形,无论是进行那个方向的转型交换,得到的都只有两种结果:一种是使图变成了可以同时移去两个同色D(或C)的K—构形(如图5撇),另一种是使图变成了有环形链A—B的、峰点是D(或C)的、两个同色是C(或D)的b类H—构形(如图6撇)。由此看来,证明时要用顶点数最少的“最小构形”,使得达到“构形最小”还是有道理的,因为它容易看清楚各链间的相互关系。