Задание 24 ОГЭ по математике

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

Дано:
$ABCD$ - параллелограмм
$AC$ пересекает $BD$ в точке $O$
$O \in EF$
$EF$ пересекает $AB$ в т. $Е$
$EF$ пересекает $CD$ в т. $F$
Доказать: 
$AE=CF$
Решение:
1) Рассмотрим $\triangle EOA$ и $\triangle COF$
$\angle EOA = \angle COF$ - вертикальные
$АО=ОС$ - св-во параллелограмма
$\angle EAO = \angle OCF$ - накрест лежащие при $AB//CD$ и секущей АС
$\Rightarrow \triangle EOA = \triangle COF$ - по стороне и 2-ум прилежащим к ней углам
$\Rightarrow AE=CF$ - соответственные элементы, ч.т.д.