グラフ理論の非常に美しい定理であるHallの結婚定理（ホールの定理）の意味と証明を解説します。