Introduction to proving triangles congruent using the HL property