if n items are put into m containers, with n > m, then at least one container must contain more than one item.

There does not exist an injective function (One to One function) whose codomain is smaller than its domain.

For example, given that the population of London is greater than the maximum number of hairs that can be present on a human’s head, then the pigeonhole principle requires that there must be at least two people in London who have the same number of hairs on their heads.