Niech
– bok trójkąta ABC. Skoro jest on równoboczny, to wszystkie jego boki będą miały taką długość, a wszystkie kąty będą miały równą miarę:
Niech:
Wtedy:
Więc trójkąty ADF, BDE i CFE są przystające z cechy BKB
.
Skoro powyższe trójkąty są takie same, to:
Trójkąt DEF ma wszystkie boki równej długości, więc jest on równoboczny.
To kończy dowód.