H.デリー(数学者) - Wikipedia
（1873年12月2日 - 1955年）
ドイツ人数学教育者
（ttps://www.amazon.co.jp/dp/4621062956/）
鳩の巣原理 - Wikipedia
（英: Pigeonhole principle）
＞この原理に関する最初の記述は、ディリクレが1834年に
"Schubfachprinzip"（「引き出し原理」）の名前で書いたものであると信じられている。
＞ディリクレ - Wikipedia
（1805年2月13日 - 1859年5月5日）
証明 - Wikipedia
＞ある事柄が真理もしくは事実であることを明らかにすること。