The correct answer is:
vertical angles are congruent
Step-by-step explanation:
In the proof, we are shown that ∠EDF and ∠ADC are vertical angles. This is because they are opposite each other and share only a vertex.
The vertical angle theorem tells us that vertical angles are congruent; therefore ∠EDF ≅ ∠ADC.