D'après la propriété : "Si un quadrilatère a ses côtés opposés deux à deux de même longueur alors c’est un parallélogramme. " EFGH est un parallélogramme.
Par suite, d'après la propriété : "Si un parallélogramme a ses diagonales de même longueur alors c'est un rectangle. " EFGH est un rectangle.
