|AB|=|BC|=|CD|=|DA|
|BA|=|AE|
|CB|=|BF|
|DC|=|CG|
|AD|=|DH|
Trójkąty BEF, CFG, DGH, AHE przystające z cechy bok=kąt-bok
|EF|=|FG|=|GH|=|HE|
EFGH jest kwadratem.
Jeżeli ABCD to kwadrat, to wszystkie jego boki są równe. Punk A jest środkiem odcinka EB, czyli EA=AB. Wszystkie odcinki wewnątrz kwadratu są sobie równe. Kąty utworzone między przedłużeniami odcinków są proste. Trójkąty są więc do siebie przystające z cechy bok-kąt-bok. Z tego faktu wynika, że ich najdłuższe boki, czyli boki dużego czworokąta są sobie równe, a więc czworokąt ten jest kwadratem.