The pigeonhole principle explains that when there are (n) pigeon-sized holes in a pigeon container, then it's impossible to fit more than (n) pigeons in that container, without having at least one hole containing more than one. The pigeons are used here as an example for anything that can be put into containers or subdivisions.

This theorem is important in computer science and mathematics, especially in graph theory.