赫尔维茨定理必要性详细证明