Доказываем Подобие Треугольников: ABC и EFD