命题：所有马都是一种颜色的 证明：只要证明任意 [公式] 匹马都是同一种颜色即可，当 [公式] 时结论显然成立，假设结论对于正整数 [公式] 成立，那么对于任意 [公式] 匹马，我们对其进行排序并去掉第一匹马，那么剩下的 [公式] 匹马全是同一种颜色，于是最后一匹马和第二匹马颜色相同，之后我们去掉最后一匹马，那么剩下的 [公式] 匹马也全都是同一种颜色的，于是第一匹马与第二匹马颜色相同，由于颜色相同是等价关系，那么最后一匹马和第一匹马颜色相同，…