Prove Triangles Congruent by SAS and HL