Một nguyên lý toán học đơn giản nhưng đủ mạnh để chứng minh sự trùng lặp trong bài toán sinh nhật, số học modulo, hash function, load balancing và nhiều hệ thống máy tính hữu hạn.