Finish Chapter 5 - part 2: Move the Theorem