|HG|=|GF|=|FE|=|HE|
Kąty czworokąta przyległe do powyższych kątów
Czworokąt jest foremny
Zauważ, że wszystkie boki czworokąta są równe, bo trójkąty prostokątne są przystające z cechy bok-kąt-bok. Suma kątów ostrych w każdym trójkącie prostokątnym ma 90°. Suma kątów ostrych na jednej ścianie dużego trójkąta też jest więc równa 90°. Każdy z kątów czworokąta jest kątem przyległym do kątów ostrych – też ma 90°. Czworokąt o wszystkich kątach równych i wszystkich bokach równych to kwadrat – czworokąt foremny.