グラフ理論:ディリクレの部屋割り論法