G.2D.1.9: Construct logical arguments to prove triangle congruence (SSS, SAS, ASA, AAS and HL).