El siguiente resultado nos dice que la cardinalidad de un subconjunto propio de un conjunto finito nunca es la misma que la cardinalidad del conjunto original. El nombre del teorema se inspira en la s...El siguiente resultado nos dice que la cardinalidad de un subconjunto propio de un conjunto finito nunca es la misma que la cardinalidad del conjunto original. El nombre del teorema se inspira en la siguiente idea: Sin las palomas desean posarse en una casa conk casilleros yn>k, entonces debe darse el caso de que al menos un hoyo contenga más de una paloma.