Deoarece ABCD este paralelogram, AD//BC si AB//DC si
sunt taiate de DB, ca diagonala si tot odata si ca secanta.
⇒ unghiurile ∡ADB=∡DBC, sunt alterne interne si
rezulta si egalitatea unghiurilor; ∡ADE=∡EDB=∡DBF=∡FBC
si unghiurile ∡ABD=∡BDC sunt tot alterne interne
⇒ si egalitatea unghiurilor;∡ABE=∡EBD=∡BDF=∡FDC.
Din aceste egalitati rezulta ca⇒DF//EB, deoarece ∡EBD=∡BDF
si ED//BF, deoarece ∡EDB=∡DBF
⇒ ca DEBF este paralelogram
