if EF=FG, then F is the midpoint of EG
what property if equality is that