Kąty CDB i CAB są równe, gdyż są wpisane w okrąg o₁ i oparte na tym samym łuku BC. Ponieważ punkty A, B, E są współliniowe, kąty EAC i BAC są równe. Kąty EAC i EFC są wpisane w okrąg o₂ i oparte na tym samym łuku EC. Zatem wykazaliśmy, że kąt EFC jest równy kątowi CDB. Z założenia wiemy, że zachodzi równość |∢BFE| = |∢CDB|. Wobec tego |∢BFE| = |∢CFE|, a to oznacza, że punkty F, B, C są współliniowe.