The pigeonhole principle proves that in London, at least two people must have exactly the same number of hairs on their head.