– bok trójkąta ABC
Trójkąty AQP, BQR i CRP są przystające z cechy BKB , więc - trójkąt PQR jest równoboczny.
Trójkąty APB, BCQ i ACR są przystające z cechy BKB , więc .
Trójkąty AHP, BJQ, CGR są przystające z cechy BKB , a za tym oraz , co daje: - trójkąt GHI jest równoboczny.
To kończy dowód.
