HL Congruence Theorem