Postulado LAL (Lado-Ángulo-Lado)

Si dos lados y el ángulo incluído de un triángulos son congruentes a dos lados y al ángulo incluído de otro triángulo, entonces los dos triángulos son congruentes.

En la figura, .

Por lo tanto, por el postulado LAL, .