DEFG is an isosceles trapezoid .
Look at the tranpezoid clearly,
DG and EF are of equal
Therefore, DG=EF
DF and EG are of equal
Therefore, DF=EG
