$\angle EAF = \angle FDE$ olduğu için $ADFE$ kirişler dörtgeni. $\angle FED = \angle FAD$.
$\angle BAD = \angle BAE + \angle EAF + \angle FAD = \angle CDF + \angle FDE + \angle FED = 180^\circ - \angle ECD$ olduğu için $ABCD$ de kirişler dörtgenidir.
Bu durumda $\angle BAC = \angle BDC$, dolayısıyla $\angle FAC = \angle EDB$ olur.