Trójkąty ABF i BCE są równoramienny, więc , stąd .
Suma miar kątów leżących przy jednym ramieniu równoległoboku wynosi , a kąty leżące naprzeciwko mają równe miary, więc: .
Co daje:
Oznacza to, że trójkąty DAF i ECD są przystające z cechy BKB .
To kończy dowód.
