Lesson 1: Theorem 3 - mathwithmesh