Learning Competency: The learner proves theorems on trapezoids and kites