Cho tam giác ABC bằng tam giác DEF. Trên các cạnh AC và DF lấy các điểm X, Y

Vì ∆ABC = ∆DEF nên ta có: AC = DF, BC = EF, $\widehat{C}=\widehat{F}$. Từ đây suy ra

CX = AC – AX = DF – DY = FY.

Xét tam giác CBX và FEY, ta có:

BC = FE, $\widehat{C}=\widehat{F}$, CX = FY (theo chứng minh trên)

Vậy ∆CBX = ∆FEY (c – g – c). Điều này kéo theo rằng $\widehat{BXC}=\widehat{EYF}$.