Proving Triangles Congruent with SSS and SAS