有趣

在第二步里，去掉第一匹马后的N元素集合，按照假定的确是同色的。同样去掉最后一匹马的话，按照假定也是同色的。但是这两个同色不等同于两个N元素的子集同色。这里一个混淆是，不管去掉的是第一匹马还是最后一匹马，总有一匹马保持在剩余的集合里并传递颜色的同一性，也就是说两个子集的交集非空。这是错误的，当N=1时交集为空。就是说，从有两匹马的情况开始，就不存在传递颜色的马（交集为空），就有可能有不同的颜色。