Introduction to proving triangles congruent using SSS or SAS