Use deductive reasoning to show that AC is congruent to DF