Свойство смежных углов

Сумма смежных углов равна 180°.

Действительно, если углы CDE и EDF смежные, то лучи DC и CF являются продолжением друг друга.

Поэтому угол CDF развернутый, и по свойству измерения углов ∠CDE + ∠EDF = ∠CDF = 180°.