怎么证实戴维宁定理