评分规则因为有限覆盖定理的表述方向与其他几个定理相反，故用其证明这些定理时要用反证法