Lesson 2: Theorem 4 - mathwithmesh