Wanneer n+1 duiven in n hokken neerstrijken, dan is er altijd minstens 1 hok met minstens twee duiven [math]n\in \mathbb{N}_{0}[/math]