Since, a line is said to be perpendicular to another line if the two lines intersect at a right angle.
⇒
[leg] [Given]
Reflexive property states that the value is equal to itself.
[Leg] [Reflexive property]
HL(Hypotenuse-leg) theorem states that any two right triangles that have a congruent hypotenuse and a corresponding congruent leg are the congruent triangles.