Investigation of the condition for congruent triangles: ASA