삼각형의 SAS 합동 조건

문제

그림과 같이 두 삼각형 $\triangle ABC$와 $\triangle DEF$가 있습니다. 주어진 조건은 다음과 같습니다.

1. $\overline{AB} = \overline{DE}$
2. $\angle BAC = \angle EDF$ (즉, $\angle A = \angle D$)

$\triangle ABC \equiv \triangle DEF$ 임을 SAS (Side-Angle-Side) 합동 조건으로 증명하기 위해 추가적으로 필요한 조건은 무엇일까요?