Lesson 6: Theorem 7 - mathwithmesh