DE≡EC (ipoteza, E mijloc DC)
m∡(DEA)=m∡(CEF) opuse la varf
m ∡(ADE)=m∡(FCE) alterne interne AD, BC paralele (ipoteza ABCD paralelogram) DC secanta
⇒caz congruebta ULU, ΔAED≡ΔFEC⇒AD≡FC
cum AD|| CF ( abced paralelogram, ipoteza)⇒ACFD patrulater cu 2 lauri opuse paraleler si congruenteACFD paralelogram⇒AC||DF, cerinta