证明:H中存在有限个开区间覆盖S