A reflection across line m maps point A to D, point B to E, and point C to F. The proof concludes triangle ABC is congruent to triangle DEF. Which missing reason is correct?