Proof of HL Theorem