證明:
∵ $ AF = DC ,$
∴ $ AF + CF = DC + CF ,$即 $ AC = DF 。$
在$ \triangle ABC $和$ \triangle DEF $中,
$\begin{cases} AB = DE, \\ AC = DF, \\ BC = EF, \end{cases}$
∴ $ \triangle ABC \cong \triangle DEF \, (SSS) 。$
∴ $ \angle ACB = \angle DFE 。$
∴ $ BC // EF 。$