Since you know a line is = 180*
if angle EFG is 125, we can get angle EFD = to 180-125=55
And since we know that the line ED is congruent to line EF, angle EDF is = 55
180-55*2= 70
angle DEF=70
