write a two column proof showing that line BE is congruent to line DF