Z treści zadnia wiadomo, że kąty ACB i BCE są proste. Więc:
Oznacza to, że:
Trójkąty ADC i BCE są przystające z cechy BKB
, więc
.
To kończy dowód.