戴维宁定理的验证结论