Proving Triangles Congruent by SSS and SAS