Wszystkie kąty w trójkącie równobocznym mają miarę
Suma miar kątów leżących przy jednym ramieniu równoległoboku wynosi
Więc:
Trójkąty PAD, QCD i PBQ są przystające z cechy BKB
To kończy dowód.