△AHG ~ △CHD

∠ AGE = ∠ AED

Substitution

If two sides of a triangle are equal, the angles opposite them are equal

∠ AGH = ∠ CDE and ∠ GAH = ∠ DCA

Definition

AA similarity

Definition

∠ CAB = ∠ DCA, ∠ CDE = ∠ AED

∠ FAC = ∠ CAB

DC ǁ AB

Parallel lines form equal alternate interior angles