戴维宁和诺顿定理的验证