Demuestra el principio del palomar: n+1 objetos en n casillas implica que alguna casilla tiene >= 2