Pigeon-hole principle