密克尔定理证明