9. ★★☆ Квадраты ABCD и DEFK имеют общую вершину, причём точка E лежит на стороне AB. Верно ли, что точка K лежит на прямой BC?