A solução do da semana passada apareceu rapidinho nos comentários: de fato, a grojeta do garçom tem de ser subtraída do total pago, não somada. A divisão correta do dinheiro é:
R$ 11 (conta) + R$ 1 (garçom)  = R$ 15 (total pago) – R$ 3 (troco).
O de hoje é a prova de que todos os cavalos são da mesma cor.
Suponha que existe uma prova de que todos os cavalos em grupos de quatro têm a mesma cor. Se isso é verdade, então todos os cavalos em grupos de cinco também são da mesma cor — já que é possível passar de um grupo de 5 para um de 4 removendo um cavalo qualquer, deixando um grupo de quatro que serão, por definição, todos da mesma cor: um grupo formado pelos cavalos 1,2,3,4 será de todos da mesma cor, assim como um grupo formado por 2,3,4,5, por 3,4,5,2 e assim por diante.
E como provamos que todos os grupos de 4 cavalos são da mesma cor? Repetindo o raciocínio para grupos de 3 cavalos. Se todos os cavalos de um grupo de 3 são da mesma cor, então todos os de um grupo de 4 também são, pela demonstração acima. É possível reduzir o grupo seguidamente até chegar aos grupos de um cavalo — e é óbvio  que, num grupo de um, o único cavalo é da mesma cor que si mesmo.
Logo, todos os cavalos são da mesma cor. QED.