I think that you are looking for the answer to step 3. Step 3 states that <EDF = <ADC. The reason for this is vertical angles. The vertical angles theorem states that 2 vertical angles are always congruent, so the correct answer for the reasoning behind step three is that vertical angles are congruent.
