Postulado ALA (Ángulo-Lado-Ángulo)

Si dos ángulos y el lado incluido de un triángulo son congruentes a dos ángulos y al lado incluido de otro triángulo , entonces los dos triángulos son congruentes.

En la figura, .

Por lo tanto, por el postulado ALA, .