1) , , , (given)
2) (reflexive property)
3) (SSS)
4) (CPCTC)
5) and are right angles (perpendicular lines form right angles)
6) and are right triangles (a triangle with a right angle is a right triangle)
7) (HA)
8) (CPCTC)
