El triángulo DEF es congruente con ABC y se obtuvo por una rotación. En ABC: \angle A = 90^\circ (marcado con cuadrado), \angle C = 90^\circ... en realidad el ángulo recto está en C y en A hay marca de ángulo. Los vértices correspondientes son A↔D, B↔E, C↔F.
- En una rotación los vértices se corresponden en el mismo orden: A con D, B con E, C con F.
- El lado AB une los vértices A y B; sus correspondientes son D y E.
El lado DE.
- El ángulo en B tiene vértice B.
- El vértice correspondiente a B es E.
El ángulo en E (\angle DEF).
- El lado AC une A y C.
- Corresponden A↔D y C↔F.
El lado DF.
- El vértice D corresponde al vértice A.
El vértice A.
- El lado DF une D y F.
- Corresponden D↔A y F↔C.
El lado AC.










