Fie {T} = AB ∩ CD;
Mai avem ca AT = BT si CT = DT din ipoteza;
De asemenea, < ATC ≡ <BTD (< opuse la varf);
Atunci, triunghiurile ATC si BTD sunt congruente in cazul de congruenta L.U.L. => <TAC ≡<DBT ( unghiuri alterne interne )=> AC ║ BD;
In mod analog arati ca AD ║ BC.
Bafta!
