鴿籠原理有限total map的domain比codomain大時必有兩個不同元素共享像。atlas-pigeonhole-principle · canonical_mko鴿籠原理前置節點基本計數原理集合基數比較函數映射