戴维宁定理的验证的实验报