Proving Triangles Congruent with ASA and AAS