被覆定理
【ひふくていり】
【hifukuteiri】
覆盖定理