This document discusses four theorems for proving congruence of right triangles: the Hypotenuse-Leg theorem, Hypotenuse-Angle theorem, Leg-Angle theorem, and Leg-Leg theorem. It provides definitions and explanations of each theorem, noting how they relate to existing angle-side-angle (ASA, AAS, SAS) postulates for proving triangle congruence. Examples are included to demonstrate application of the Hypotenuse-Leg theorem.