• Tứ giác ABCD có AB // DC và AD // BC.

Từ AB // DC suy ra A^1=C^1 (so le trong) và B^1=D^1 (so le trong).

Từ AD // BC suy ra A^2=C^2 (so le trong).

Xét DABC và DCDA có:

A^1=C^1; AC là cạnh chung; A^2=C^2

Do đó DABC = DCDA (g.c.g).

• Do DABC = DCDA nên AB = CD (hai cạnh tương ứng).

Xét DOAB và DOCD có:

A^1=C^1; AB = CD; B^1=D^1 (chứng minh trên)

Do đó DOAB = DOCD (g.c.g).