Pigeonhole Principle

definition

Given some function $f$ between two sets $A$ and $B$, if $B$ is finite and $|A|>|B|$, then there exists distinct $a,a^{\prime }\in A$ such that $f(a)=f(a^{\prime })\in B$.