Lesson 4: Theorem 5 - mathwithmesh