Learning Competency: The learner proves the conditions for similarity of triangles