戴维宁定理有什么用