戴维宁定理有受控