Lesson 2: Theorem 1 - mathwithmesh