The hypotenuse leg theorem states that any two right triangles that have a congruent hypotenuse and a corresponding, congruent leg arecongruent triangles.
Postulates are statements that are assumed to be true without proof.
Theorums are statements that can be deduced and proved from definitions, postulates, and previously proved theorums.