G.TR.2.b: Use algebraic methods to prove that two triangles are congruent.