戴维斯定理证明了什么