Nacrtamo i tetivu DC te neka su oznake kao na slici.

Kako je AB∥EC, onda je ∣∠CEB∣=∣∠ABE∣=α. To znači da je △EFB jednakokračan pa je
∣EF∣=∣BF∣.
S obzirom da su kutovi ∠CDB, ∠CEB obodni kutovi nad istim kružnim lukom, vrijedi
∣∠CDB∣=α.
Analogno su kutovi ∠ECD, ∠EBD obodni kutovi nad istim kružnim lukom te je ∣∠ECD∣=α.
Dakle, i trokut △DCF je jednakokračan pa je ∣FD∣=∣FC∣.
Na kraju, ∣EC∣=∣EF∣+∣FC∣=∣BF∣+∣FD∣=∣BD∣.