It is given that trapezoid EFGH is an isosceles trapezoid. We know that FE ≅ GH by the definition of . The base angle theorem of isosceles trapezoids verifies that angle is congruent to angle . We also see that EH ≅ EH by the property. Therefore, by , we see that ΔFHE ≅ ΔGEH.