ip : Unghiul BCF congruent cu unghiul DAE
FC congruent AE
unghiul BFC congruent unghiul DEA
cl:DE congruent BF
dem: Avem triunghiul DAE si triunghiul BCF =>
FC congruent cu AE( din ipoteza)
unghiul DAE congruent cu BCF (ipoteza)
unghiul DEA congruent cu BFC (ipoteza)
=>
conform cazului ULU => triunghiul DAE congruent cu triunghiul BCF => DE congruent cu BF