HL定理 (1)