戴维斯定理和诺顿定理