N=1 için bir tek at varsa, tabii ki onun rengi aynı olacaktır.
Şimdi N sayıda atın aynı renkte olduğunu varsayarak, N+1 sayıda atın da aynı renkte olduğunu göstereceğiz.
N+1 sayıda attan birini dışarı alalım, geriye N sayıda at kalır. N sayıda atın aynı renkte olduğunu biliyoruz. Şimdi bu atı tekrar gruba katıp başka bir at çıkaralım. Yine N sayıda at kalır. Bu işlemi k=1 den k=N+1 e kadar sürdürürsek, bütün atların aynı renkte olduğu sonucuna varırız.
