Sif:X→Y es una función y|X|>|Y|, entonces existe un elementoy∈Y y elementos distintosx,x′∈X para que esof(x)=f(x′)=y. Ya que hay paresmn ordenados de l...Sif:X→Y es una función y|X|>|Y|, entonces existe un elementoy∈Y y elementos distintosx,x′∈X para que esof(x)=f(x′)=y. Ya que hay paresmn ordenados de la forma(a,b) donde1≤a≤m y1≤b≤n, concluimos del principio de Paloma Agujero que debe haber enterosi1 yi2 con1≤i1<i2≤mn+1 para los cuales(ai1,bi1)=(ai2,bi2).
