Lesson #9: Pythagorean theorem