Learning Competency: The learner proves the Pythagorean Theorem