Poftim demonstratia (facuta mai pe scurt)

În patrulaterul AEBD diagonalele AB și DE se înjumătățesc ⇒ ⇒ AEBD -paralelogram  (1) AD ⊥ BC ⇒ m(∡ADB) =90°    (2) (1), (2) ⇒ AEBD - dreptunghi   (3) Analog ⇒ ADCF - dreptunghi    (4) (3) ⇒ AE || BD ⇒ AE || BC     (5) (4) ⇒ AF || DC ⇒ AF || BC     (6) (5), (6) ⇒ E, A, C coliniare (conform axiomei paralelelor)   (7) (3), (4), (7) ⇒ BCFE - dreptungi