Pigeonhole principle (source code)

= Pigeonhole principle
{wiki}