展开 戴维宁定理适用条件