2.2節 一般のグラフにおけるマッチング 系2.2.2 (Petersen 1891) 橋をもたない任意の3-正則グラフは1-因子をもつ。 Gに奇数本のS-C辺がある。 ∵ (S-C辺の本数) = 第一項は奇数、第二項は偶数だから、S-C辺の本数は奇数。