(数学)海涅定理是什么?有什么用?