ABDE sunt coliniare
=> AD este o secanta care intersecteaza drptele d₁ si d₂
ΔABC ≡ ΔDEF
=> <ABC ≡ <DEF ca alterne externe, pe care le face secanta AD cu d₁ si d₂.
=> d₁ || d₂
-------
ΔABC ≡ ΔDEF
=> <BAC ≡ <EDF unghiuri alterne interne pe care le face
secanta cu dreptele AC si DF
=> AC || DF
