展开 霍尔维茨定理内容