$KI\parallel OA$, $\dfrac{KI}{OA}=\dfrac{IF}{OF}$ olduğu için $A,K,F$ doğrusaldır. $\angle ADE=\angle ABD=\angle AFD$ olduğu için $AD^2=AK\cdot AF$.
$A$ noktasının $I$ merkezli çembere göre kuvvetinden $AC^2=AK\cdot AF$ olduğu için $AD=AC$ elde edilir.
Bu durumda $\angle ADC=\angle ACD\Rightarrow \angle ADE+\angle EDC=\angle CDB+\angle DBC\Rightarrow \angle EDC=\angle BDC$ olur.