The hypotenuse leg theorem states that any two right triangles that have a congruent hypotenuse and a corresponding congruent leg are congruent triangles.