The real wordsTheory
Where the slides stop
The published deck for chapter 5 is nine pages and ends with the theorem you just read. It never reaches the second theorem, and the deck says only that the theory rests on two.
Everything from here to the end of this chapter is built from your long note and the textbook.
Check against your class slides, especially the empirical section: the professor clearly taught past the deck, so your own notes are the better record of what was said.