HE = FE and KE = GE

Given

E is the midpoint of HF and GK

Definition

CPCTC

Definition

∠HEK = ∠FEG

△HEK = △FEG

HK = GF

SAS (Side-Angle-Side)

∠HEK and ∠FEG are vertical angles

Vertical angles are equal