(1) Si m palomas entran en un palomar con m nidos, quedará un nido vacío sólo sí en algún nido hay más de una paloma.
(2) Si n>m palomas entran en un palomar con m nidos, en algún nido hay más de una paloma