试述戴维宁定理