$[1]$ Note that The Pigeonhole Principle $[$PHP$]($see Lecture $13)$ can be rephrased as:

$($$$)[$for all integers NinN and Min$$ with $f$:$\{0,1,$dots,$N\}longrightarrow\{0,$dots,$M\}$