谬在第二步。

不同数目的马集合中，虽各自同色，却不一定同于同一种色。譬如，K集的马都是白色，J集的马都是黑色。因此第二步中N与（N+1）之间的推断是不成立的。通俗地说，当N变成了(N+1)，就不能再假设马还是原来的马了。