Solution (source code)

= Solution

The <pigeonhole principle> states that \b[if $N$ objects are placed in $k$ boxes and $N>k$, at least one box contains at least two objects].