In this topic, you learned about a special theorem specific to right triangles that can help you identify congruent triangles or determine if triangles are congruent. Called the Hypotenuse-Leg Theorem, this theorem can serve as another useful tool as you get ready to use formal proofs to verify triangle congruence.