Luego existe un número entero menos positivoR(s:h1,h2,…,hr) para que sin≥n0 yϕ:C([n],s]→[r] es alguna función, entonces existe un enteroα∈[r] y un subc...Luego existe un número entero menos positivoR(s:h1,h2,…,hr) para que sin≥n0 yϕ:C([n],s]→[r] es alguna función, entonces existe un enteroα∈[r] y un subconjuntoHα⊆[n] con|Hα|=hα para que ϕ(S)=αpara cadaS∈C(Hα,s). Tenga en cuenta que el casos=1 es solo el Principio de Agujero Paloma, mientras que el casos=r=2 es solo el Teorema de Ramsey para Gráficas.