Wiadomo, że - kąty wierzchołkowe, więc trójkąty BDG i CDH są przystające z cechy KBK, stąd .
Oznacza to, że trójkąt DGH jest równoramienny, a dwusieczna takiego trójkąta dzieli podstawę na pół, więc odcinek GH jest dwusieczną kąta przy wierzchołku A.
Więc na tej podstawie i trójkąt ABC jest równoramienny, a przedłużenie odcinka AD jest jego dwusieczną.
