We are talking about the exact same case. The induction step is n-> n+1 and works perfectly well for n+1=3 horses.