HE = FE and KE = GE

Given

CPCTC

E is the midpoint of HF and GK

HK = GF

∠HEK = ∠FEG

△HEK = △FEG

Definition

SAS (Side-Angle-Side)

Definition

∠HEK and ∠FEG are vertical angles

Vertical angles are equal