On triangle ABC
A F is bisector, A,B,F,E dots are on same circle.
Angle AEF= 2* angle C
BF=4
EC=?
