Poteaux pourris

Il existe trois poteaux consécutifs non-pourris ; sinon, il y aurait au moins $\lceil \frac{17}{3} \rceil = 6$ poteaux pourris. On divise le reste des poteaux en deux moitiés de sept poteaux consécutifs. Par le principe des tiroirs, il existe une moitié qui contient $\lceil \frac{5}{2} \rceil = 3$ poteaux pourris.