∡ABD ≡ ∡BAC ==> Unghiurile sunt alterne interne ==> AC || BD (1)
AC = BD (2)
Din (1) si (2) ==> ADBC este paralelogram, conform teoriei (laturi congruente si paralele) ==> Un paralelogram are mijloacele celor 2 diagonale in acelasi punct ==> AB si CD au acelasi mijloc