
Kako je △ABC jednakokračan, onda je ∣AC∣=∣BC∣ i ∣∠BAC∣=∣∠CBA∣=α odnosno
∣∠DAC∣=∣∠CBE∣=2α.
Vrijedi i ∣∠ACD∣=∣∠ACB∣=∣∠ECB∣ pa prema poučku K-S-K o sukladnosti slijedi △ADC≅△BEC.
Iz sukladnosti slijedi ∣DC∣=∣EC∣ što znači da je △CED jednakokračan.
Tada je ∣∠DEC∣=∣∠CDE∣.
Kako je ∣∠ACB∣=∣∠ECD∣, onda je
∣∠DEC∣=∣∠CDE∣=∣∠BAC∣=∣∠CBA∣=α.
S obzirom da je ∣∠DEC∣=∣∠BAC∣ i EC∥AC, onda je ED∥AB.