Congruence criteria, specifically HL theorem