Î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