Доказательство:

Поскольку AC = CE и BC = CD, то треугольник ABC конгруэнтен треугольнику EDC по стороне (по двум сторонам и углу между ними).

Таким образом, угол ABC равен углу EDC.

Следовательно, ABC = EDC.

Таким образом, утверждение доказано.