Learning Competency: The learner proves theorems on the different kinds of parallelogram