Lesson 1: Theorem 8 - mathwithmesh