AA similarity

△AHG ~ △CHD

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

Definition

Substitution

∠ AGH = ∠ CDE and ∠ GAH = ∠ DCA

∠ AGE = ∠ AED

∠ CAB = ∠ DCA, ∠ CDE = ∠ AED

Definition

∠ FAC = ∠ CAB

DC ǁ AB

Parallel lines form equal alternate interior angles