1. EFGH is a trapezoid
1. given
2. ∠E ≅ ∠H
2. given
3. construct altitude FB and GD
3. unique line postulate
4. FB ≅ GD
4. ⊥ dist. between || lines
5. ∠FBE and ∠GDH are right angles
5. def. of altitude
6. ∠FBE ≅ ∠GDH
6. all right angles are congruent
7. △FBE ≅ △GDH
7. AAS
8. FE ≅ GH
8. CPCTC