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.