Presupunem ca tr BAD congruent cu tr DEC
Avem: BD=BC
BA=AE
AD=CE
Din ultimile doua rezulta ca: AE=AD+DE
50=20+30 (adevarat) =>AD=CE=20