Definition

SAS (Side-Angle-Side)

Given

HE = FE and KE = GE

△HEK = △FEG

CPCTC

∠HEK = ∠FEG

E is the midpoint of HF and GK

Definition

HK = GF

∠HEK and ∠FEG are vertical angles

Vertical angles are equal