I cateti misurano $(x-y) e(x+y)$.
I triangoli $\mathrm{ABF}$ e ECB sono congruenti poiché hanno due angoli e un lato congruenti:
- $\quad$ Il lato AF è congruente al lato EC poiché entrambi sono uguali a $\mathrm{x}$
- Gli angoli nel vertice B sono congruenti perché opposti al vertice
- Gli angoli in E e in F sono congruenti perché alterni interni rispetto a due parallele
pertanto $\mathbf{B C}=\mathbf{4}$.
