Given the proof below, what would be the final step to show that AC is congruent to DF