Introduction to proving triangles congruent using ASA or AAS