Источник TeX:
\angle BCF+ \angle EFC=180^\circ