Substitution

∠ CAB = ∠ DCA, ∠ CDE = ∠ AED

AA similarity

∠ AGH = ∠ CDE and ∠ GAH = ∠ DCA

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

∠ AGE = ∠ AED

Definition

△AHG ~ △CHD

Definition

∠ FAC = ∠ CAB

DC ǁ AB

Parallel lines form equal alternate interior angles