Pigeonhole principle (source code)

= Pigeonhole principle
{wiki=Pigeonhole_principle}