证明HL定理的两种方法 最好把过程给我