Learning Competency: The learner proves the Midline Theorem