If the hypotenuse and a leg of one right triangle are congruent to the hypotenuse and a leg of another right triangle, then the triangles are congruent.
If a conditional is true and its hypothesis occurs, its conclusion is guarenteed. In symbolic form: If p-->q is a true statement and p is true, then q is true.