https://www.theoryofcomputation.co/pigeon-hole-principle-mathematical-preliminaries-part-3/