赫尔维茨定理详细证明